21. Computer aided logical design with emphasis on VLSI
المؤلف: / Frederick J. Hill, Gerald R. Peterson
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Logic design - Data processing,Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
H54
1993
22. Computer aided logical design with emphasis on VLSI
المؤلف: / Fredrick J. Hill, Gerald R. Peterson
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Logic design - Data processing,Integrated circuits--Very large scale integration--Design and construction - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
H54
1993
23. Computer aided tools for VLSI system design
المؤلف:
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Data processing
24. Computer aided tools for VLSI system design
المؤلف: edited by G. Russell
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration - Design and construction - Data processing ، Integrated circuits
رده :
TK
7874
.
C64743
1987
25. Computer aids for VLSI design
المؤلف: Rubin, Steven M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,، Computer-aided design
رده :
TK
7874
.
R83
1987
26. Computer aids for VLSI design
المؤلف: Rubin, Steven M.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Very large scale integration - Design and construction - Data processing ، Integrated circuits,، Computer-aided design
رده :
TK
7874
.
R83
1987
27. Computer aids for VLSI design
المؤلف: Rubin, Steven M.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer- aided design
28. Correct hardware design methodologies
المؤلف: / Edited by Paolo Prinetto, Paolo Camurati
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
29. Design of VLSI systems: a practical introduction
المؤلف: Brackenbury, Linda E.M.
المکتبة: كتابخانه پژوهشگاه نیرو (طهران)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Data processing
30. Evolutionary algorithms for VLSI CAD
المؤلف: Drechsler, Rolf
المکتبة: (طهران)
موضوع: Integrated circuits - Very large scale integration - Design and construction - Data processing , Computer-aided design , Algorithms , Evolutionary programming )Computer science( , Genetic programming )Computer science(
رده :
TK
7874
.
75
.
D74
1998
31. FPGA-based system design
المؤلف: Wolf, Wayne Hendrix
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Field programmable gate arrays-- Design and construction,، System design-- Data processing,، Integrated circuits-- Very large scale integration
رده :
TK
7895
.
G36
.
W648
2004
32. Fault covering problems in reconfigurable VLSI systems
المؤلف: / By Ran Libeskind-Hadas ... [et al.]
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Integrated circuits--Very large scale integration--Design and construction - Data processing,Integrated circuits - wafer-scale integration--Design and construction--Data processing,Fault-tolerant computing
رده :
TK
7874
.
F38
1992
33. Fault covering problems in reconfigurable VLSI systems
المؤلف: / by Ran Libeskind-Hadas ... [et al.]
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Integrated circuits -- Very large scale integration -- Design and construction -- Data processing,Integrated circuits -- Wafer-scale integration -- Design and construction -- Data processing,Integrated circuits -- Fault tolerance
رده :
TK
7874
.
F38
1992
34. Formal hardware verification : methods and systems in comparison
المؤلف: Thomas Kropf, )ed.(
المکتبة: (طهران)
موضوع: Design and construction -- Data processing ، Integrated circuits -- Very large scale integration,، Integrated circuits -- Verification,، Computer-aided design
رده :
QA
76
.
L28
Vol
.
1287
35. Formal methods for VLSI disign
المؤلف: / edited by Jorgen Staunstrup
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Integrated Circuits -- Very large scale integration -- Design and construction -- Data processing,Computer -- aided,Integrated Circuits -- Large scale integration -- Testing
رده :
TK
7874
.
F65
1990
36. Fundamentals of computer-aided circuit simulation
المؤلف: McCalla, William J, William J. McCalla
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Integrated circuits- Very large scale integration- Design and construction- Data processing,، Computer-aided design
رده :
TK
7874
.
M355
1988
37. Fundamentals of computer-aided circuit simulation
المؤلف: McCalla, William J.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Integrated circuits- Very large scale integration-Design and construction-Data processing,، Computer-aided design
رده :
TK
7874
.
M355
38. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
المؤلف: M. Leeser, G. Brown, eds
المکتبة: (طهران)
موضوع: Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
39. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
40. High-level VLSI synthesis
المؤلف: / edited by Raul Camposano and Wayne Wolf
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Integrated circuits - Very large scale integration - Design and construction - Data processing,Computer-aided design
رده :
TK
7874
.
H5243
1991
